<?php
// echo json_encode($_POST['tech']);
// echo json_encode($_POST);
// echo date('Y-m-d H:i:s',strtotime('-1 day'));
$m = $_GET['m'];
$m();

function m1()
{
    sleep(3);
    echo 'm1';
}

function m2()
{
    sleep(2);
    echo 'm2';
}

function m3()
{
    header('Content-type: application/javascript;charset=utf-8');
    $res = json_encode(["name"=>"zhangsan","age"=>11]);
    echo "showData($res)";
}

function m4()
{
    header('Content-type: application/javascript;charset=utf-8');
    $res = json_encode(["name"=>"zhangsan","age"=>11]);
    echo "res=$res";
}
